Search results

@informalsystems/quint

Core tool for the Quint specification language

• temporal
• logic
• formal
• specification
• verification

bugarela

published 0.19.4 • 4 days agopublished 0.19.4 4 days ago

llang

An interpreter of well-formed formulas in propositional calculus.

• propositional
• calculus
• interpreter
• formal
• logic
• language

nevyk

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago